Computer arithmetic - PDFSEARCH.IO - Document Search Engine

Computer arithmetic
Results: 1849

#	Item
171	Introduction CompCert Flocq CompCert+Flocq Conclusion A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo Jacques-Henri Jourdan Xavier Leroy Guillaume Melquiond Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-10-09 12:04:53 Compilers Computer arithmetic CompCert Logic in computer science Xavier Leroy GNU Compiler Collection Floating point X86
172	Behavior Research Methods, Instruments, & Computers 1986, 18 (2), A computer simulation of children’s arithmetic word-problem solving DENISE DELLAROSA Add to Reading List Source URL: www.denisecummins.com Language: English - Date: 2012-06-30 22:27:00
173	Computer Systems A Programmer’s Perspective Bryant & O’Hallaron fourth pages:22 Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2015-03-19 16:51:08 Computing Software engineering Computer arithmetic Computer programming IEEE floating point Signed zero Pointer C TUTOR
174	chapter 2: binary numbers So, lots of ancient counting systems revolved around 10 and multiples of 10. That is, they either had special symbols for 10, 100, 1000, 10000, etc. (for example, Add to Reading List Source URL: bubblesort.io Language: English - Date: 2015-08-17 03:10:22 Mathematics Elementary arithmetic Mathematical notation Binary arithmetic Numeral systems Computer arithmetic Decimal Counting Number Hexadecimal Binary number Zine
175	FLINT Fast Library for Number Theory VersionMarch 2011 William Hart∗ , Fredrik Johansson† , Sebastian Pancratz‡ Add to Reading List Source URL: www.flintlib.org Language: English - Date: 2014-12-31 19:00:00 Binary operations Elementary arithmetic Computer arithmetic Group theory Arithmetic Mathematics education GNU MPFR Polynomial Modular arithmetic Computer Division Library
176	On Noise Tolerant Learning of Sparse Pari4es and Related Problems ALT 2011 Lev Reyzin Georgia Ins4tute of Technology work Joint with Add to Reading List Source URL: www.levreyzin.com Language: English - Date: 2011-10-07 01:13:05 Error detection and correction Coding theory Computer arithmetic Binary arithmetic Parity Parity bit Hamming Computing Computer architecture Mathematics
177	Optimizing M AKWA on GPU and CPU Thomas Pornin, <> May 18, 2015 Abstract We present here optimized implementations of the M AKWA password hashing Add to Reading List Source URL: www.bolet.org Language: English - Date: 2015-09-06 14:08:28 Computer arithmetic Modular arithmetic Central processing unit Search algorithms Exponentials Exponentiation by squaring Montgomery modular multiplication Hash function Processor register 64-bit computing Euclidean vector
178	The JPEG Still Picture Compression Standard Gregory K. Wallace Multimedia Engineering Digital Equipment Corporation Maynard, Massachusetts Add to Reading List Source URL: ijg.org Language: English - Date: 2015-09-07 09:04:57 Image compression Graphics file formats Data compression Video compression Computer file formats JPEG Discrete cosine transform Lossless compression Lossy compression Quantization Intra-frame Arithmetic coding
179	Introduction to Algorithms Lecture 22 Piotr Indyk Outline Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2011-05-05 12:42:48 Binary arithmetic Computer arithmetic Division algorithm Digital geometry Mathematics CohenSutherland algorithm Root-finding algorithms Computer science
180	Accurate Evaluation of Arithmetic Expressions Matthieu Martel DALI - Universite´ de Perpignan Via Domitia LIRMM - CNRS: UMRUniversite´ Montpellier 2, France Add to Reading List Source URL: nsad2012.ucombinator.org Language: English - Date: 2014-01-06 09:39:57 Computer arithmetic Floating point Abstract interpretation Rounding IEEE floating point Double-precision floating-point format Precision NaN Expression

UPDATE